Turing machine

Results: 564



#Item
141Computer science / Turing machine / Models of computation / Formal methods / Turing machine gallery / Arseny Avraamov / Alan Turing / Computable number / Computability / Computability theory / Theory of computation / Theoretical computer science

Computing & reading 5: The Future: What’s going on? Willard McCarty Professor of Humanities Computing King’s College London

Add to Reading List

Source URL: www.mccarty.org.uk

Language: English - Date: 2012-02-05 04:03:00
142Computability theory / Models of computation / Computer science / Alan Turing / Formal methods / Computational complexity theory / Cellular automaton / Non-deterministic Turing machine / Busy beaver / Turing machine / Theory of computation / Theoretical computer science

A Turing Machine Resisting Isolated Bursts Of Faults

Add to Reading List

Source URL: cjtcs.cs.uchicago.edu

Language: English - Date: 2013-03-28 00:33:04
143Bletchley Park / Cyberwarfare / Enigma machine / Biuro Szyfrów / Cryptanalysis of the Enigma / Alan Turing / Cryptography / Espionage / Rotor machines

Enigma Officier and Staff Procedures 1940 formatted by Tony Sale (cCheck No. 790 Secret Command Material ! THE ENIGMA

Add to Reading List

Source URL: www.codesandciphers.org.uk

Language: English - Date: 2013-08-19 02:13:22
144Computability theory / Models of computation / Theory of computation / Complexity classes / John Hopcroft / Alfred Aho / Halting problem / Turing machine / Algorithm / Theoretical computer science / Applied mathematics / Computer science

DEPTH (QUALIFIER) EXAMINATION IN THEORY OF COMPUTATION AND ALGORITHMS Spring, 2007 Automata, Languages and Complexity: 1. Regular languages (a) finite state automata (deterministic, nondeterministic)

Add to Reading List

Source URL: www.cs.ucr.edu

Language: English - Date: 2007-02-09 21:44:57
145Complexity classes / Molecular biology / DNA / Classes of computers / Leonard Adleman / DNA computing / Natural computing / Turing machine / Hamiltonian path problem / Theoretical computer science / Applied mathematics / Mathematics

Eindhoven Honours Class Foundations of Informatics Algorithmic Adventures

Add to Reading List

Source URL: www.win.tue.nl

Language: English - Date: 2010-12-13 10:02:09
146Whiteboard / Teaching / Lesson plan / Task / Turing machine / Educational technology / Pedagogy / Education / Office equipment

Teaching with Dry Erase Boards

Add to Reading List

Source URL: www.lauracandler.com

Language: English - Date: 2012-08-15 12:02:15
147Computer science / Theory of computation / Models of computation / Alan Turing / Turing machine / Computable number / Computability / Reduction / NP / Theoretical computer science / Computability theory / Applied mathematics

δ-uniform BSS Machines Paolo Boldi* Sebastiano Vigna∗ Dipartimento di Scienze dell’Informazione, Università degli Studi di Milano, Italy. Abstract

Add to Reading List

Source URL: vigna.di.unimi.it

Language: English - Date: 2002-05-18 04:52:47
148Computer hardware / Computability theory / Theoretical computer science / Computer / ENIAC / Bit / Binary-coded decimal / Manchester Small-Scale Experimental Machine / Computing / Classes of computers / Turing machine

seminarTEXT / prof. dr. eberhard von goldammer / ssLecture to the London Mathematieal Society on 20 February 1947 [ *] A. M. Turing The automatic computing engine now being designed at N.P.L. is a typical large

Add to Reading List

Source URL: www.vordenker.de

Language: English - Date: 2011-08-27 06:48:32
149Applied mathematics / Theory of computation / Alan Turing / Models of computation / Turing machine / Computability / Turing degree / Computable number / Reduction / Theoretical computer science / Computability theory / Computer science

The Turing Closure of an Archimedean Field Paolo Boldi∗ Sebastiano Vigna∗ Abstract

Add to Reading List

Source URL: vigna.di.unimi.it

Language: English - Date: 2002-05-18 04:52:19
150Computability theory / Theory of computation / Lambda calculus / Formal methods / Models of computation / Combinatory logic / Church–Turing thesis / Turing machine / Entscheidungsproblem / Mathematics / Theoretical computer science / Mathematical logic

λ-Calculus: Then & Now Dana S. Scott University Professor Emeritus Carnegie Mellon University

Add to Reading List

Source URL: logic.berkeley.edu

Language: English - Date: 2014-08-24 16:43:20
UPDATE